﻿// ==++==
// 
//   Copyright (c) Microsoft Corporation.  All rights reserved.
// 
// ==--==
using System;
using System.Collections.Generic;
using System.Text;
using Microsoft.ExtendedReflection.ComponentModel;
using Microsoft.ExtendedReflection.Reasoning.ExecutionNodes;

namespace Microsoft.Pex.Fitness
{
    public interface IPexFitnessManager :
        IService
    {
        int GetFitness(IExecutionNode node, int targetID);
        int GetFitness(IExecutionNode node);
    }
}
